QUESTIONS AND COMMENTS ON SUPPES' "AXIOMATIC SET THEORY"


1. In general, this system is as good for AI and MTC purposes as
any published system.  We need to absorb its treatment of definitions.

2. Since our interest is in the proof of facts about programs and
about a robot's strategy for achieving goals, we are not so much interested
in getting a compact set of axioms for set theory as in expressing the
theorem base of a mature set theory and a moderate size mature mathematics.

3. It seems to me that the regularity axiom does not exclude models in
which there is an infinite descending chain of sets; it only excludes the
possibility that the members of this chain form a set in the set theory.
Is this so?